Contracts in distributed systems
نویسندگان
چکیده
We present a parametric calculus for contract-based computing in distributed systems. By abstracting from the actual contract language, our calculus generalises both the contracts-as-processes and contracts-as-formulae paradigms. The calculus features primitives for advertising contracts, for reaching agreements, and for querying the fulfilment of contracts. Coordination among principals happens via multi-party sessions, which are created once agreements are reached. We present two instances of our calculus, by modelling contracts as (i) processes in a variant of CCS, and (ii) as formulae in a logic. With the help of a few examples, we discuss the primitives of our calculus, as well as some possible variants.
منابع مشابه
A comparative study of the Iranian and American legal systems' application of the principle of justice in drug and medical equipment contracts
This article has no abstract.
متن کاملEconomic Evaluation of Fiscal Regime of Buy-Back Contracts in Comparison with Production Sharing Contracts (Case Study: Azadegan Oil Field)
F iscal regime is one of the main differences between petroleum contracts. Fiscal regimes in oil contracts are divided to two main categories namely Concessionary and Contractual Systems. In contractual systems, the main difference between service and production sharing contracts is the way of compensation of contractor services which could be in cash or in kind. In production sharin...
متن کاملDimensions for Reliability Contracts in Distributed Object Systems
Designing and managing distributed systems with predictable reliability and availability is generally difficult. Whenever components are specified, used, and managed it is often unclear what reliability requirements different components are expected to satisfy. The problem of specifying and satisfying reliability requirements needs to be addressed for many different situations and contexts. We ...
متن کاملInvestigating the Effective Factors on Self-Control in the Operational Supervision System of Participatory Contracts
The purpose of this paper is to examine the factors affecting self-control and its evaluation in the operational supervision system of participatory contracts. In this study, by combining the Herzberg theory and the belief system, a conceptual model consisting of five stages in the four supervisory levels of the bank is presented. In this research, a survey method is used to measure self-contr...
متن کاملCoordination Systems in Role-Based Adaptive Software
Software systems are becoming more open, distributed, pervasive, and connected. In such systems, the relationships between loosely-coupled application elements become non-deterministic. Coordination can be viewed as a way of making such loosely coupled systems more adaptable. In this paper we show how coordination-systems, which are analogous to nervous systems, can be defined independently fro...
متن کامل